namespace Ns

type Class<'T when 'T: ({caret})>() =
    class end
